(assert (> 0.0 (sin 1.0)))
(push)
(check-sat)
(pop)
(check-sat)
